منابع مشابه
Construction and deduction in type theories
This dissertation is concerned with interactive proof construction and automated proof search in type theories, in particular the Calculus of Constructions and its subsystems. Type theories can be conceived as expressive logics which combine a functional programming language, strong typing and a higher-order logic. They are therefore a suitable formalism for specification and verification syste...
متن کاملCan being scared cause tummy aches? Naive theories, ambiguous evidence, and preschoolers' causal inferences.
Causal learning requires integrating constraints provided by domain-specific theories with domain-general statistical learning. In order to investigate the interaction between these factors, the authors presented preschoolers with stories pitting their existing theories against statistical evidence. Each child heard 2 stories in which 2 candidate causes co-occurred with an effect. Evidence was ...
متن کاملIndeed : Interactive Deduction on Horn Clause Theories
We introduce the declarative programming language Indeed that uses both deduction and interaction through multi-agent system applications. The language design is addressed by providing a uniform programming model that combines two refinements of resolution along with some control strategies to introduce state-based descriptions. We show that the logical calculus in which the computational model...
متن کاملPositive Deduction modulo Regular Theories ? Laurent
We propose a new technique for dealing with an equational theory E in the clausal framework. This consists of the deenition of two inference rules called contextual superposition and extended superposi-tion, and of an algorithm for computing the only needed applications of these last inference rules only by examining the axioms of E. We prove the refutational completeness of this technique for ...
متن کاملTheories of Causal Ordering
ibis paper is a response to Iwasaki and Sitnon 141 which criticizes de Kleer and Brown I~I.We argue that loans of tilt ir (run ions partu ularl~ nun mint, t ausaltts unodt lint, and stab,lzti, 0z lynaut troun the difference of concerns between engineering and economics. Our notion of causality arises from considerzng the interconnecuions of components not equations. When no fet’dhack is present...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 1995
ISSN: 0090-502X,1532-5946
DOI: 10.3758/bf03197265